1. Formal approaches to software testing
Author: / Jens Grabowski, Brian Nielsen (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Formal methods (Computer science)--Congresses.,Computer software--Testing--Congresses.
Classification :
QA76
.
9
.
F67
F522
2004
2. Formal approaches to software testing
Author: / Alexandre Petrenko, Andreas Ulrich (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses
Classification :
QA
,
76
.
9
,.
F67
,
F52
,
2003
3. Formal approaches to software testing :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal methods (Computer science) ; Congresses ; Computer software ; Testing ; Congresses ;
4. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Author: Alexandre Petrenko, Andreas Ulrich )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
2931
5. Formal approaches to software testing and runtime verification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ;
6. Formal approaches to software testing and runtime verification
Author: / Klaus Havelund ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses,Software testing,Runtime verification,FATES,RV
Classification :
QA
,
76
.
9
,.
F67
,
F524
,
2006
7. Formal approaches to software testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Author: Jens Grabowski, Brian Nielsen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
3395
8. Proceedings
Author: International Conference on Reliable Software, 5791, Los Angeles
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Reliability-- Congresses,، Computer software-- Testing-- Congresses,، Debugging in computer science-- Congresses
Classification :
QA
76
.
6
.
I55
1975
9. Runtime Verification
Author: \ Ezio Bartocci, Rupak Majumdar (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستیآزمایی -- کنگره ها,روشهای صوری (کامپیوتر) -- کنگره ها,آزمونهای کامپیوتری -- نرمافزار -- کنگره ها
Classification :
QA
76
.
76
.
V47
R82
2015
E-Book
,
10. Runtime verification
Author: Sarfraz Khurshid, Koushik Sen (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
R8
2011eb
11. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
12. Runtime verification :
Author: Axel Legay, Saddek Bensalem (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
R8
2013
13. Software analysis, testing, and evolution :
Author: Lei Bu, Yingfei Xiong (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Computer software-- Testing, Congresses.,Computer networking & communications.,Computer software-- Development.,Computer software-- Testing.,Computers-- Hardware-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.
Classification :
QA76
.
76
.
T48
14. Testing of software and communicating systems :20th IFIP TC 6/WG 6.1 international conference, TestCom 2008, 8th international workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 : proceedings
Author: Kenji Suzuki ... ]et al.[ )eds.(
Library: Library of Niroo Research Institue (Tehran)
Subject: Congresses ، Telecommunication systems - Testing,Congresses ، Computer software - Testing
Classification :
TK
5101
.
A1I333
2008
15. Testing of software and communication systems
Author: Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Testing,Computer software-- Testing,Telecommunication systems-- Testing, Congresses
Classification :
TK5101
.
A1
I333
2009eb
16. Testing software and systems :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Testing ; Congresses. ;
17. Testing software and systems
Author: Brian Nielsen, Carsten Weise (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
T48
I28
2012eb
18. Testing software and systems.
Author: \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرمافزار -- آزمایش -- کنگره ها,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
76
.
T48
I34
2015
E-Book
,
19. Tests and Proofs
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرمافزار -- آزمایش -- کنگرهها,نرمافزار -- راستیآزمایی -- کنگرهها,روشهای صوری (کامپیوتر) -- کنگرهها
Classification :
E-Book
,
20. Tests and Proofs
Author: \ Jasmin Christian Blanchette, Nikolai Kosmatov (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses.,Computer software -- Verification -- Congresses.,نرمافزار -- آزمایش -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
T48
2015
E-Book
,
